A Service-Oriented UML Profile with Formal Support
نویسندگان
چکیده
We present a UML Profile for the description of service oriented applications. The profile focuses on style-based design and reconfiguration aspects at the architectural level. Moreover, it has a formal support in terms of an approach called Architectural Design Rewriting, which enables formal analysis of the UML specifications. We show how our prototypical implementation can be used to analyse and verify properties of a service oriented application.
منابع مشابه
An accessible verification environment for UML models of services
Service-Oriented Architectures (SOAs) provide methods and technologies for modelling, programming and deploying software applications that can run over globally available network infrastructures. Current software engineering technologies for SOAs, however, remain at the descriptive level and lack rigorous foundations enabling formal analysis of service-oriented models and software. To support a...
متن کاملAspect-Oriented QoS Modeling for Cyber-Physical Systems
Cyber-physical systems (CPSs) are physical and engineered systems whose operations are monitored. Cyberphysical systems having quality-of-service (QoS) requirements driven by the dynamics of the physical environment in which they operate, the description, control, management, consultation and guarantee of QoS are very complex and challenging work, Quality of Service(QoS) is directly related to ...
متن کاملModelling Electronic Service Systems Using UML
This paper presents a profile for modelling systems of electronic services using UML. Electronic services encapsulate business services, an organisational unit focused on delivering benefit to a consumer, to enhance communication, coordination and information management. Our profile is based on a formal, workflow-oriented description of electronic services that is abstracted from particular imp...
متن کاملUPMS - UML Profile and Metamodel for Services - an Emerging Standard
UPMS is an emerging standard from OMG (Object Management Group) that includes both a UML profile (SOAPro) and a metamodel for modeling of service-oriented architectures. The approach supports both top down (synergistic) and bottom up (opportunistic) modeling (middle-out), and utilizes UML collaboration diagrams and UML 2.0 component diagrams with a new concept of service interfaces. It is also ...
متن کاملFormally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL
One of the issues that developers of service-oriented systems currently discuss is the lack of practical, but formal modeling notations and tools that can address the many different, important aspects. This paper presents an approach to model structural and behavioral properties of service-oriented systems with UML and OCL models. Essential service-oriented concepts as service request, service ...
متن کامل